Vector logic - PDFSEARCH.IO - Document Search Engine

Vector logic
Results: 92

#	Item
71	Contents Volume 0: Axiom Jenks and Sutor Volume 1: Axiom Tutorial Volume 2: Axiom Users Guide Volume 3: Axiom Programmers Guide Volume 4: Axiom Developers Guide Add to Reading List Source URL: axiom.axiom-developer.org Language: English - Date: 2012-06-11 00:53:23 Algebraic structures Axiom Vector space Polynomial Function Mathematical logic Matrix Cardinal number System of polynomial equations Mathematics Algebra Abstract algebra
72	Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. http://web.comlab.ox.ac.uk/oucl/wo Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:09 Monoidal categories Dagger compact category Braided monoidal category Compact closed category Monoid Vector space Closed category Quantum logic Product Algebra Category theory Mathematics
73	Matching performed by David Niecikowski, University of Arizona College of Education Doctoral Student GRD K[removed] Add to Reading List Source URL: www.otb-games.com Language: English - Date: 2013-07-23 13:12:50 Topology Abstract algebra Algebraic logic Logarithm Function Metric Boolean algebra Euclidean vector Mathematics Algebra Functions and mappings
74	A New System of Axioms Instead of ZF (ver[removed]Use a Latin font such as Times New Roman, please.] [If not word-wrapped, see "Word-wrap" of HELP in your software.] Add to Reading List Source URL: hp.vector.co.jp Language: English - Date: 2004-09-05 11:07:18 Axioms of set theory Z notation Urelements Zermelo–Fraenkel set theory Constructible universe Axiom of choice First-order logic Axiom Function Mathematical logic Logic Mathematics
75	BOOK REVIEWS 953 logic, the use of van Kampen diagrams and the treatment of small cancellation theory and its applications represent very fine achievements. Much of the material has appeared only in the periodical liter Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:51:12 Functions and mappings Measure theory Linear algebra Operator theory Vector space Integral Fourier transform Bounded operator Lebesgue integration Mathematical analysis Mathematics Algebra
76	246 BOOK REVIEWS Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:19:16 Linear algebra Functions and mappings Functional analysis Mathematical analysis Banach space Vector space Hilbert space Mathematical logic Stone–Weierstrass theorem Mathematics Algebra Topology
77	Tutorial 18: The Jacobian Formula 1 Add to Reading List Source URL: www.probability.net Language: English - Date: 2006-10-29 01:18:42 Differential geometry Functional analysis Fourier analysis Linear temporal logic Pullback Mathematical analysis Operator theory Normed vector space
78	Tutorial 18: The Jacobian Formula 1 Add to Reading List Source URL: www.probability.net Language: English - Date: 2006-10-29 01:18:42 Differential geometry Functional analysis Fourier analysis Linear temporal logic Pullback Mathematical analysis Operator theory Normed vector space
79	THE LOGIC OF PARTITIONS: INTRODUCTION TO THE DUAL OF THE LOGIC OF SUBSETS Add to Reading List Source URL: www.ellerman.org Language: English - Date: 2010-06-28 17:38:45 Equivalence relation Partition of a set Sheaf Image Topos Binary relation Function Model theory Vector bundle Mathematics Algebraic topology Combinatorics
80	REPORTS ON MATHEMATICAL LOGIC[removed]), 59–77 Add to Reading List Source URL: www.iphils.uj.edu.pl Language: English - Date: 2006-01-02 18:00:00 Symbol Vector space Spectral theory of ordinary differential equations Algebra Mathematics Group theory

UPDATE